Compositional Calculation of Steady - StateProbabilities ?
نویسنده
چکیده
We describe a method for converting the problem of computing steady-state probabilities of a continuous-time Markov chain into the problem of computing absorption probabilities for a related chain. The construction enables us to apply compositional techniques for computing absorption probabilities that we have previously developed for probabilistic I/O automata to be used for computing certain steady-state quantities as well. The method has been implemented, and we consider the issue of its practicality in the context of its application to an an example problem.
منابع مشابه
Developing a Compositional Reservoir Model for Investigating the Effect of Interfacial Tension on Oil Recovery
In this paper, a simplified formulation for compositional reservoir simulator is presented. These types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. The procedure for solving compositional model equations is completely described. For equilibrium calculation, property estimation Peng Robinson equation of state is used. This equation ...
متن کاملEffect of CO2 Concentration in Injecting Gas on Minimum Miscibility Pressure: Compositional Model and Experimental Study
For technical and economic success of miscible gas injection projects, an accurate laboratory measurement of Minimum Miscibility Pressure (MMP) at reservoir conditions is essential. On the other hand, compositional reservoir simulator is a useful tool in gas injection studies and prediction of MMP. The main goal of this paper is to describe a procedure to generate a three phase sequential t...
متن کاملReduction of Reservoir Fluid Equilibrium Calculation for Peng-Robinson EOS with Zero Interaction Coefficients
For some of the EOS models the dimension of equilibrium problem can be reduced. Stability and difficulties in implementation are among the problems of flash calculation. In this work, a new reduction technique is presented to prepare a reduced number of equilibrium equations. Afterwards, a number of appropriate solution variables are selected for the prepared equation system to solve the equati...
متن کاملCompositional Model Checking of product-form CTMCs
Product form Markov chains are a class of compositional Markovian models that can be proved to benefit from a decomposed solution of the steady-state distribution (i.e. the steady-state distribution is given by the product of the components’ steady-state distributions). In this paper we focus on the Boucherie product processes, a specific class of product form Continuous Time Markov Chains. We ...
متن کاملAn Effective EOS Based Modeling Procedure for Minimum Miscibility Pressure in Miscible Gas Injection
The measurement of the minimum miscibility pressure (MMP) is one of the most important steps in the project design of miscible gas injection for which several experimental and modeling methods have been proposed. On the other hand, the standard procedure for compositional studies of miscible gas injection process is the regression of EOS to the conventional PVT tests. Moreover, this procedure d...
متن کامل